Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
911	ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reﬂection and the Hierarchy of C(n) cardinals We introduce ﬁrst a new kind of reﬂection principle for the universe of all sets: Add to Reading List Source URL: ali.cmi.ac.in Language: English - Date: 2010-08-13 05:01:47 Forcing Boolean algebra Order theory Topology Descriptive set theory Borel set Model theory Set theory Interior algebra Mathematical logic Mathematics Logic
912	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
913	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2013-04-16 03:57:08 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
914	SOME HISTORICAL REMARKS ON SWITCHING THEORY Radomir S. Stankovi´c1 , Jaakko T. Astola2 , Mark G. Karpovsky3 1 2 Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-20 17:53:22 Electronic engineering Fellows of the Royal Society Electronic design Electronic design automation George Boole Mathematical logic Boolean algebra Claude Shannon The Laws of Thought Mathematics Algebraic logic Science
915	June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-23 06:51:18 Mathematics Sequent calculus Intuitionistic logic Cut-elimination theorem Interpretation Sequent Structural rule Propositional calculus Linear logic Logic Mathematical logic Proof theory
916	C:/Users/jipsen/Documents/Talks/SoftComputing2003/SoftComputingAbstract20030904.dvi Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2011-03-30 04:04:54 Fuzzy logic Algebraic structures Lattice theory Algebraic logic Mathematical logic Residuated lattice MV-algebra Monoidal t-norm logic Variety Mathematics Abstract algebra Logic
917	Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague Add to Reading List Source URL: web.science.mq.edu.au Language: English Nicolas Bourbaki Algebraic structures Pullback Model theory Coherence theory of truth Mathematical logic Functor Structure Mathematics Algebra Claude Chevalley
918	Analysis, Geometry and Stochastics for Planet Earth Date: Tuesday, June 2, 2015 Location: Room 402, EPSRC Centres for Doctoral Training Suite, Imperial College London Supported by: London Mathematical Society Institute a Add to Reading List Source URL: mpecdt.org Language: English - Date: 2015-05-14 04:59:27 Algorithm Mathematical logic Theoretical computer science Data assimilation Monte Carlo method Transportation theory Mathematical analysis Mathematics Applied mathematics
919	The University of Calgary Department of Philosophy Philosophy 279 L01/L02 LOGIC I Fall 2009 — Richard Zach Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:36:14 Education Valuation First-order logic Homework Interpretation Tutorial Logic Model theory Mathematical logic
920	Christian Grothoff FSEM 1111 Computer Security – from a Free Software Perspective Christian Grothoff Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:42 Infinity Number Mathematics Counting Mathematical logic